Symbolic computation with finite quandles
نویسندگان
چکیده
Algorithms are described and Maple implementations are provided for finding all quandles of order n, as well as computing all homomorphisms between two finite quandles or from a finitely presented quandle (e.g., a knot quandle) to a finite quandle, computing the automorphism group of a finite quandle, etc. Several of these programs work for arbitrary binary operation tables and hence algebraic structures other than quandles. We also include a stand-alone C program which finds quandles of order n and provide URLs for files containing the results for n = 6, 7 and 8.
منابع مشابه
Toward an Ontology for Finite Algebras
The authors present a case for an ontology of finite algebras. This vocabulary is a direct response to the limitations of the formats employed by first-order model searchers, such as Mace4, and specialized software, such as UACalc. It will support a semantically rich format for algebra storage and interchange intended to improve the efficiency of computational discovery processes in universal a...
متن کاملClassification of Finite Alexander Quandles
Two finite Alexander quandles with the same number of elements are isomorphic iff their Z[t]-submodules Im(1 − t) are isomorphic as modules. This yields specific conditions on when Alexander quandles of the form Zn[t ]/(t − a) where gcd(n, a) = 1 (called linear quandles) are isomorphic, as well as specific conditions on when two linear quandles are dual and which linear quandles are connected. ...
متن کاملTopology Proceedings CLASSIFICATION OF FINITE ALEXANDER QUANDLES
Two finite Alexander quandles with the same number of elements are isomorphic iff their Z[t]-submodules Im(1− t) are isomorphic as modules. This yields specific conditions on when Alexander quandles of the form Zn[t ]/(t− a) where gcd(n, a) = 1 (called linear quandles) are isomorphic, as well as specific conditions on when two linear quandles are dual and which linear quandles are connected. We...
متن کاملSe p 20 06 Alexander quandles of order 16
Isomorphism classes of Alexander quandles of order 16 are determined, and classes of connected quandles are identified. This paper extends the list of distinct connected finite Alexander quandles.
متن کاملAlexander Quandles of Order 16 *
Isomorphism classes of Alexander quandles of order 16 are determined, and classes of connected quandles are identified. This paper extends the list of known distinct connected finite Alexander quandles.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 41 شماره
صفحات -
تاریخ انتشار 2006